2. AI approaches to the complexity of legal systems :
Author: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
K213
3. AI*IA 2018 -- advances in artificial intelligence :
Author: Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
Classification :
Q334
4. Advanced computational methods for knowledge engineering: Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017
Author: / Edited by Nguyen-Thinh Le ... [et al.].
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computational intelligence -- Congresses.,Computer science -- Mathematics -- Congresses.,Computational intelligence.,Artificial intelligence.,Computational intelligence, Computer science, Applied Mathematics, Artificial intelligence.
5. Advanced computing in industrial mathematics: 12th Annual Meeting of the Bulgarian Section of SIAM December 20–22, 2017, Sofia, Bulgaria Revised Selected Papers
Author: / Edited by Krassimir Georgiev, Michail Todorov, Ivan Georgiev.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Mathematics -- Congresses.,Computer science -- Mathematics -- Congresses.,Artificial intelligence.,Mathematics, Computer science, Artificial intelligence.
6. Advanced concepts for intelligent vision systems :
Author: Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
Classification :
TA1634
7. Advances in Computational Intelligence :
Author: Ignacio Rojas, Gonzalo Joya, Andreu Catala (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence, Congresses.,Neural networks (Computer science), Congresses.,Neural networks (Neurobiology), Congresses.,Artificial intelligence.,Bioinformatics.,Computer security.,Computer software.,Computer vision.
Classification :
QA76
.
87
.
I588
2019
8. Advances in bioinformatics and computational biology :
Author: Ronnie Alves (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
Classification :
QH324
.
2
9. Advances in machine learning and data science :
Author: Damodar Reddy Edla, Pawan Lingras, Venkatanareshbabu K., editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine learning, Congresses.,Artificial intelligence.,Business mathematics & systems.,COMPUTERS-- General.,Data mining.,Databases.,Machine learning.
Classification :
Q325
.
5
10. Algorithmic aspects in information and management :
Author: Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.
Classification :
QA76
.
9
.
A43
11. Algorithms and complexity in mathematics, epistemology, and science :
Author: editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
Classification :
QA9
.
58
12. Applied physics, system science and computers II :
Author: Klimis Ntalianis, Anca Croitoru, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Physics, Congresses.,System theory, Congresses.,Biological and Medical Physics, Biophysics.,Electrical Engineering.,Engineering.,Mathematical Modeling and Industrial Mathematics.,Operating Procedures, Materials Treatment.,Biophysics.,Computer science.,Electrical engineering.,Mathematical modelling.,Physics.,Production engineering.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,System theory.
Classification :
QC1
13. Artificial Intelligence, Expert Systems and Languages in Modelling and Simulation : Proceedings of the 1st IMACS Symposium on Artificial Intelligence, Expert Systems, and Languages in Modelling and Simulation, Barcelona, Spain, 2-4 June, 1987
Author: Casimir A. Kulikowski, Huber, Gabriel A. Ferrate
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer simulation,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
C65I46
1987
14. Artificial evolution :
Author: Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
618
15. Artificial intelligence :
Author: Zhi-Hua Zhou, Qiang Yang, Yang Gao, Yu Zheng (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Discrete mathematics.
Classification :
Q334
16. Artificial life and evolutionary computation :
Author: edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
Classification :
Q325
.
W58
2017
17. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
18. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
20. Case-based reasoning research and development :
Author: Michael T. Cox, Peter Funk, Shahina Begum (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Case-based reasoning, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Appl. in Administrative Data Processing.,Information Storage and Retrieval.,Mathematical Logic and Formal Languages.,Special Purpose and Application-Based Systems.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Case-based reasoning.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
Classification :
Q338
.
8
